Confluence de calcul à motifs

Dans ce rapport, nous proposons une preuve de confluence générique qui poura être instanciée pour les différents calculs. Pour cela, nous nous intéresserons au lambda-calcul dynamique qui axiomatise la manière dont l'abstraction est réduite. Nous utilisons cette preuve pour l'étendre au cas où le filtrage est fait modulo une théorie, ici la commutativité. Intuitivement il faut que le filtrage soit stable par substitution, par réduction et par équivalence. Nous caractérisons aussi une classe d'algorithmes de filtrage qui conduisent à des calculs non confluents

Visualization of the Static aspects of Software: a survey

International audienceSoftware is usually complex and always intangible. In practice, the development and maintenance processes are time-consuming activities mainly because software complexity is difficult to manage. Graphical visualization of software has the potential to result in a better and faster understanding of its design and functionality, saving time and providing valuable information to improve its quality. However, visualizing software is not an easy task because of the huge amount of information comprised in the software. Furthermore, the information content increases significantly once the time dimension to visualize the evolution of the software is taken into account. Human perception of information and cognitive factors must thus be taken into account to improve the understandability of the visualization. In this paper, we survey visualization techniques, both 2D- and 3D-based, representing the static aspects of the software and its evolution. We categorize these techniques according to the issues they focus on, in order to help compare them and identify the most relevant techniques and tools for a given problem

JBInsTrace: A Tracer of Java and JRE Classes at Basic-Block Granularity by Dynamically Instrumenting Bytecode

International audienceUnderstanding what happens during the runtime of a Java program is difficult. Tracking runtime flow can bring valuable information for program understanding and behavior analysis. Polymorphism, thread concurrency or even simple facts like the number of method invocations and the number of executed bytecodes are valuable information to track, but are difficult to compute outside the Java Virtual Machine (JVM) on running programs. In this paper, we present JBInsTrace, a new tool that instruments and traces Java bytecode. It produces static information about source code and a very fine grained trace of Java software execution, combining them to allow detailed analysis of the runtime. Our tool differs from others because it does not only trace program classes but also JRE classes, and does so at basic block level, without altering the JVM and without statically modifying class files. We explain JBInsTrace design, focused towards efficiency, which results in reasonable performance penalty

A Tracing Technique using Dynamic Bytecode Instrumentation of Java Applications and Libraries at Basic Block Level

International audienceImplementing a profiler to trace a program execution is non-trivial. One way to do this on running Java programs is through bytecode instrumentation. Nowadays, tools exist that ease the instrumentation process itself, but as far as we know, none offers an entirely dynamic implementation technique which is able to include the instrumentation of Java Runtime Environement (JRE) classes. In this paper we present the main principles of our technique, which performs such online bytecode instrumentation of both application and JRE classes, at basic block level

3D Hierarchical Edge Bundles to Visualize Relations in a Software City Metaphor

International audienceSoftware systems are often very complex because of their huge size and the tremendous number of interactions between their components. However, understanding relations between software elements is crucial to optimize the development and the maintenance process. A good way to ease this understanding of software relations is to use advanced visualization techniques to graphically see interactions between elements. Nevertheless representing those software relations is not an easy task and often leads to hard to understand clutter. We believe that combining both edge clustering techniques and real-world metaphors can help to address this issue, producing easier-to-read visualizations that ease the cognitive process and thus significantly help understanding the underlying software. In this paper, we explain how we adapted the existing 2D Hierarchical Edge bundles technique to represent relations in a 3D space on top of city metaphors

Analysis and Advanced Visualization of Software

ECOOP 2011 Best Poster AwardInternational audienceSoftware is complex and hard to analyze. We aim at collecting information using dynamic and static analysis of the software and use advanced visualization techniques to ease their understanding. Thus the comprehension of the software functioning

Rising rural body-mass index is the main driver of the global obesity epidemic in adults

Body-mass index (BMI) has increased steadily in most countries in parallel with a rise in the proportion of the population who live in cities(.)(1,2) This has led to a widely reported view that urbanization is one of the most important drivers of the global rise in obesity(3-6). Here we use 2,009 population-based studies, with measurements of height and weight in more than 112 million adults, to report national, regional and global trends in mean BMI segregated by place of residence (a rural or urban area) from 1985 to 2017. We show that, contrary to the dominant paradigm, more than 55% of the global rise in mean BMI from 1985 to 2017-and more than 80% in some low- and middle-income regions-was due to increases in BMI in rural areas. This large contribution stems from the fact that, with the exception of women in sub-Saharan Africa, BMI is increasing at the same rate or faster in rural areas than in cities in low- and middle-income regions. These trends have in turn resulted in a closing-and in some countries reversal-of the gap in BMI between urban and rural areas in low- and middle-income countries, especially for women. In high-income and industrialized countries, we noted a persistently higher rural BMI, especially for women. There is an urgent need for an integrated approach to rural nutrition that enhances financial and physical access to healthy foods, to avoid replacing the rural undernutrition disadvantage in poor countries with a more general malnutrition disadvantage that entails excessive consumption of low-quality calories.Peer reviewe

SPINE20 A global advocacy group promoting evidence-based spine care of value

PURPOSE: The Global Burden of Diseases (GBD) Studies have estimated that low back pain is one of the costliest ailments worldwide. Subsequent to GBD publications, leadership of the four largest global spine societies agreed to form SPINE20. This article introduces the concept of SPINE20, the recommendations, and the future of this global advocacy group linked to G20 annual summits. METHODS: The founders of SPINE20 advocacy group coordinated with G20 Saudi Arabia to conduct the SPINE20 summit in 2020. The summit was intended to promote evidence-based recommendations to use the most reliable information from high-level research. Eight areas of importance to mitigate spine disorders were identified through a voting process of the participating societies. Twelve recommendations were discussed and vetted. RESULTS: The areas of immediate concern were "Aging spine," "Future of spine care," "Spinal cord injuries," "Children and adolescent spine," "Spine-related disability," "Spine Educational Standards," "Patient safety," and "Burden on economy." Twelve recommendations were created and endorsed by 31/33 spine societies and 2 journals globally during a vetted process through the SPINE20.org website and during the virtual inaugural meeting November 10-11, 2020 held from the G20 platform. CONCLUSIONS: This is the first time that international spine societies have joined to support actions to mitigate the burden of spine disorders across the globe. SPINE20 seeks to change awareness and treatment of spine pain by supporting local projects that implement value-based practices with healthcare policies that are culturally sensitive based on scientific evidence

Death and the Societies of Late Antiquity

Ce volume bilingue, comprenant un ensemble de 28 contributions disponibles en français et en anglais (dans leur version longue ou abrégée), propose d’établir un état des lieux des réflexions, recherches et études conduites sur le fait funéraire à l’époque tardo-antique au sein des provinces de l’Empire romain et sur leurs régions limitrophes, afin d’ouvrir de nouvelles perspectives sur ses évolutions possibles. Au cours des trois dernières décennies, les transformations considérables des méthodologies déployées sur le terrain et en laboratoire ont permis un renouveau des questionnements sur les populations et les pratiques funéraires de l’Antiquité tardive, période marquée par de multiples changements politiques, sociaux, démographiques et culturels. L’apparition de ce qui a été initialement désigné comme une « Anthropologie de terrain », qui fut le début de la démarche archéothanatologique, puis le récent développement d’approches collaboratives entre des domaines scientifiques divers (archéothanatologie, biochimie et géochimie, génétique, histoire, épigraphie par exemple) ont été décisives pour le renouvellement des problématiques d’étude : révision d’anciens concepts comme apparition d’axes d’analyse inédits. Les recherches rassemblées dans cet ouvrage sont articulées autour de quatre grands thèmes : l’évolution des pratiques funéraires dans le temps, l’identité sociale dans la mort, les ensembles funéraires en transformation (organisation et topographie) et les territoires de l’empire (du cœur aux marges). Ces études proposent un réexamen et une révision des données, tant anthropologiques qu’archéologiques ou historiques sur l’Antiquité tardive, et révèlent, à cet égard, une mosaïque de paysages politiques, sociaux et culturels singulièrement riches et complexes. Elles accroissent nos connaissances sur le traitement des défunts, l’emplacement des aires funéraires ou encore la structure des sépultures, en révélant une diversité de pratiques, et permettent au final de relancer la réflexion sur la manière dont les sociétés tardo-antiques envisagent la mort et sur les éléments permettant d’identifier et de définir la diversité des groupes qui les composent. Elles démontrent ce faisant que nous pouvons véritablement appréhender les structures culturelles et sociales des communautés anciennes et leurs potentielles transformations, à partir de l’étude des pratiques funéraires.This bilingual volume proposes to draw up an assessment of the recent research conducted on funerary behavior during Late Antiquity in the provinces of the Roman Empire and on their borders, in order to open new perspectives on its possible developments. The considerable transformations of the methodologies have raised the need for a renewal of the questions on the funerary practices during Late Antiquity, a period marked by multiple political, social, demographic and cultural changes. The emergence field anthropology, which was the beginning of archaeothanatology, and then the recent development of collaborative approaches between various scientific fields (archaeothanatology, biochemistry and geochemistry, genetics, history, epigraphy, for example), have been decisive. The research collected in this book is structured around four main themes: Evolution of funerary practices over time; Social identity through death; Changing burial grounds (organisation and topography); Territories of the Empire (from the heart to the margins). These studies propose a review and a revision of the data, both anthropological and archaeological or historical on Late Antiquity, and reveal a mosaic of political, social, and cultural landscapes singularly rich and complex. In doing so, they demonstrate that we can truly understand the cultural and social structures of ancient communities and their potential transformations, based on the study of funerary practices